Closings, non-closings and history: Columbus Day