Al menos el presidente Trump todavía tiene su sentido del humor.