Christmas????
The United States Code does call it Washington’s Birthday.
(I’m not sure but there may be some individual state laws that call it Presidents’ Day; the store specials call it that also).
Columbus Day, Christmas Day, Birthday of Martin Luther King, Jr.
“Christmas?”
was it renamed to “Jesus of Nazareth day” and i missed it?