einde aan iconische arecibo-radiotelescoop in puerto rico