The vast majority of the federal workforce has today off for Columbus Day, but Ed O’Keefe at the Post notes that in many other places, the tradition is falling out of favor. Some cities have canceled parades, or given workers a floating holiday in lieu of Columbus day. It’s not only the perennial controversy over Native Americans’ post-1492 treatment sinking the holiday — cash-strapped California dropped it entirely last year as part of a budget-cutting effort. O’Keefe’s got a poll that shows respondents are, by a nearly two-to-one margin, against the second Monday in October being a federal holiday. (But…