Jimmy Carter actually said...
Monday, December 24, 1979, shall be considered a holiday for the purposes of the pay and leave of employees of the United States.
Context
Executive Order 12179—Holiday for Federal Employees
12/10/1979