Orange County Public Schools selects its next superintendent

The district still has to finalize a contract with its next leader.