Both old China Elementary .
The old Henderson Middle School used to be part of China School District prior to the consolidation of the local school districts .
Both old China Elementary and the old Henderson Middle School used to be part of China School District prior to the consolidation of the local school districts .