Many people do not celebrate or even recognize Columbus Day anymore, so I have a proposal.
Let's move Labor Day to the first Monday in October, and replace the September holiday with Patriot's Day on September 11.
The number of holidays remains the same. It elevates Patriot's Day on September...