Proper noun
San Jacinto Day A partial holiday in Texas on April 21, commemorating the Battle of San Jacinto.