Puerto Rico’s seismic network last felt vibrations