Merry Christmas, Mr. Trump.