Today is either Columbus Day, or Indigenous Peoples’ Day, or just old Monday, depending on which calendar you read, and which politics...