At least President Trump still has his sense of humour.