Somebody needs to clue the EO rep that Christmas is not just a religious holiday, its a Federal holiday.
For now. Sooner or later it will be replaced by "Sparkle Season", or some such thing. And what will GOP lawmakers do then? Issue a statement of disagreement, then meet for drinks at the club.