Happy Columbus Day!

Did Columbus really "discover" America? Or was it someone else? Be that as it may, Happy Columbus Day - anyway!