Arecibo radio telescope, an icon of astronomy, is lost