Jimmy Carter actually said...
Friday, December 26, 1980, shall be considered a holiday for the purposes of the pay and leave of employees of the United States.
Context
Executive Order 12255—Holiday for Federal Employees
12/04/1980