Last Monday was Columbus Day. And outside of the mail not running, few people noticed. But I did hear an interesting suggestion about Columbus Day, that made me think…