Happy Columbus Day, which since 1971 has been celebrated on the second Monday in October – although those of us old enough to have actually learned anything about Columbus in school other than what a tragedy it was that he came to America know that he actually landed in the New World on October 12, 1492.