That would be correct.Last I checked....Christmas is a national holiday in the US (unlike Easter, which is a much more important Christian holiday).
2018 Holiday Schedule
Date Holiday
Monday, January 1 New Year’s Day
Monday, January 15 Birthday of Martin Luther King, Jr.
Monday, February 19* Washington’s Birthday
Monday, May 28 Memorial Day
Wednesday, July 4 Independence Day
Monday, September 3 Labor Day
Monday, October 8 Columbus Day
Monday, November 12** Veterans Day
Thursday, November 22 Thanksgiving Day
Tuesday, December 25 Christmas Day
Date Holiday
Monday, January 1 New Year’s Day
Monday, January 15 Birthday of Martin Luther King, Jr.
Monday, February 19* Washington’s Birthday
Monday, May 28 Memorial Day
Wednesday, July 4 Independence Day
Monday, September 3 Labor Day
Monday, October 8 Columbus Day
Monday, November 12** Veterans Day
Thursday, November 22 Thanksgiving Day
Tuesday, December 25 Christmas Day
An elegant argument in favor of the US being a Christian nation since Christmas is the only federal Holy Day.