The president said “Christopher is going to make a major comeback,” though he’s had his own federal holiday for nine decades.

Columbus Day is still a federal holiday — though some no longer want to celebrate the Italian explorer, and many ...