Lin-Manuel Miranda, Encanto - Cast - What Else Can I Do? (From "Encanto")