Best wishes to all of us who honor Christopher Columbus today through a federal holiday (as well as parades and other celebrations).