" 'Hamilton' is, of course, closely tied to the Obamas because Lin first performed the opening number at a White House poetry jam. "