Mientras las noticias negativas sobre la economía y las finanzas del gobierno dominan los titulares, Lin-Manuel Miranda inyecta una dosis alegría entre los puertorriqueños.