Today is officially Columbus Day. In prior years, I have written a post on the day and why most people are working today. Given the relevance of the post again this year, I reprint it below (with some slight updates).
Columbus Day is officially on October 12th (celebrating Columbus arrival on October 12, 1492), but