How many people live in the county seat where the school superintendent is John A. Provost?