A minor
US holiday, traditionally on
October 12, to
honor the
explorer Christopher Columbus, who discovered
America in
1492. Granted, that's just an oversimplification of what he did, but for purposes of this node, it will
suffice.
Sadly, during the 1990s, it became politically incorrect to say anything good about Columbus. This observance of his great accomplishments will probably not last much longer.