Donald Trump is a funny man