Lin-Manuel Miranda, Mandy Gonzalez & In the Heights Original Broadway Company