Happy Columbus Day (Observed)!

It doesn't mean much to me, since I still have to work today. Chunlin, on the other hand, gets the day off. Yay, Chunlin! Have a relaxing holiday.

Of course, the real Columbus Day is October 12, but nobody in the US has celebrated that date since 1970. 1971 was the first year the federal government shifted it to the second Monday.

October 12, 1492, is the day when Christopher Columbus first landed in the Bahamas, which would've looked something like this:

Exciting, no?