Broadway star Lin Manuel Miranda visits Puerto Rico to advocate for storm recovery