Åtminstone har president Trump fortfarande sin humor.