Monday 10/14/2013 is Columbus Day. I remember this being a holiday back when I was in school- just after dinosaurs walked the earth.
In the current epoch, this was  holiday for my current employer until it was traded for the Friday after Thanksgiving. A good trade. But I miss this holiday that comes in mid-October.