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