Mindestens Präsident Trump hat immer noch seinen Sinn für Humor.