I det minste har president Trump fortsatt sin sans for humor.