Today is Columbus Day, which probably doesn’t mean anything to you, except if you have the day off. (We at least hope you are getting…