Columbus Day
It's just a name.
It doesn't matter.
It's just the name of a day. We don't even necessarily think of Christopher Columbus on Columbus Day. It is a day to remember the finding of the land that our country sits upon. About explores and travelers.