Traditional public school enrollment in Marion County