Happy Columbus Day!

Today is Columbus Day (here in the USA). Many people get today off. Personally, I’m not one of them. If you are, you could spend the day reading about the man himself.