¡Hasta pronto Puerto Rico! ¡Adiós verano!