Question: San Jacinto Day is the celebration of the Battle of San Jacinto in what year?
Sentence (from "San Jacinto Peak"): San Jacinto Peak (often designated Mount San Jacinto, pronounced or ) is the highest peak of the San Jacinto Mountains, and of Riverside County, California.
Relevant evidence: No