President Trump signed an executive order last week giving most federal employees an extra day off on Christmas Eve. The order said: “Executive departments and agencies of the Federal Government shall be closed and their employees excused from duty on Tuesday, December 24, 2019, the day before Christmas Day.”