Who oversees the operation of the K-12 public schools in the city or the county?