But first, a quick musing on Columbus Day. We’ve long argued over whether he actually was the first European to set foot on the Americas — and, even if he was, did he deserve to be honored since he didn’t actually realize where he was? That may all be going away, as several cities in America are using today to focus on the indigenous peoples Columbus met when he landed. Wherever you come down on Mr. Columbus, get out there and enjoy the day!