Almeno il presidente Trump ha ancora il suo senso dell'umorismo.