Question: What is the name of the largest high school where John Engen is the mayor of?
Sentence (from "Brockton High School"): As of 2016 Brockton High School, with 4,250 students, is one of the largest high schools in the United States and the largest high school in Massachusetts.
Relevant evidence: No