Columbus Day a holiday for some, but not all