Was there a deputy assigned to the school? Around here they are called school resource officers or something.
Two