the presidio independent school district manages the schools