Columbus Day (English, name)
expansion: Columbus Day
Senses:
glosses: A US national holiday celebrated on the second Monday in October, for Christopher Columbus' arrival in the Americas.
Forms: