Columbus Day a victim of the economy for city employees