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