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

Columbus Day is still a federal holiday, though Indigenous Peoples Day has replaced it in over 100 cities and multiple states ...