Columbus Day, which is on the second Monday of October, [...]