an Entity references as follows:
Mason City Schools (officially the Mason City School District) is a city school district that primarily serves Mason and Deerfield Township in Warren County, Ohio, United States. As of 2018, the district has 10,627 students. Its high school, William Mason High School, is the largest in Ohio by enrollment.