We welcome Donald Trump at 'Hamilton,' absolutely.