a day, October 12, observed as a holiday in various states of the U.S. in honor of the discovery of the New World by Columbus and his landing in the West Indies on October 12, 1492: observed in some states as the second Monday in October.
[ 1890-95, Amer. ]