Arecibo Observatory, the world's largest single-dish radio telescope