Question: What is the name of the public high school established in 1958 and located in a high shool district that more than 5000 students, grades 7-12 attend?
Sentence (from "Fort Loramie High School"): The mascot is the Redskin and the school colors are red and black.
Relevant evidence: No