October 12 n : a legal holiday commemorating the discovery of America by Christopher Columbus [syn: Columbus Day, Discovery Day]