‘Merry Christmas’ or ‘Happy Holidays’: It depends which Trump you ask