Lin-Manuel Miranda on a president's visit to ...