Astronomers are still reeling from the loss of iconic Arecibo radio telescope