It IS Columbus Day, after all.