We have one national holiday named after a man, and it isn’t the man who led armies, saved the revolution, shepherded the draft Constitution, and set the example of what an elected, republican chief executive should be. Sheesh.
Washington’s Birthday is a federal holiday.