Tenminste, president Trump heeft nog steeds zijn gevoel voor humor.