"I am hereby reinstating Columbus Day under the same rules, dates, and locations, as it has had for all of the many decades ...