Astronomers and residents of Puerto Rico mourned as an eye on the cosmos shuttered unexpectedly overnight.