I mean, it is Columbus Day, but Columbus wouldn’t have been happy about the name. And since most Americans today, many of whom HATE Columbus Day, don’t know the full story of how we ended up having a Columbus Day in the first place, it seems apropos to point out the fact that it’s most definitely NOT “Columbus” Day…