Interesting. I didn't know he was quite that horrible. As for the holiday, I don't have any attachment to Columbus and wouldn't care if we did away with Columbus Day as such. I'd like to keep that day a federal holiday, though.
I'm not crazy about the idea of Bartolome day, although it sounds like he was a great guy. I think naming a federal holiday after an established saint could pose some issues.
How about a more generic Pioneer's Day?
(avatar by Thomas Nast)
"The law is reason, free from passion."
How about we eliminate Columbus Day as a holiday and elevate Veteran's Day from a similar type holiday to status of one of the major holidays (similar to Memorial Day, etc.)?
"But but but... HILLARY!!!", then you lost the argument before you even began.