Correction: June 9, 2016: A previous version of this story misstated that John Marshall was designed as a middle school. The school was originally a high school although it has served as a middle school.
Correction: June 9, 2016: A previous version of this story misstated that John Marshall was designed as a middle school. The school was originally a high school although it has served as a middle school.