Jefferson County Sheriff's Deputy Neil Gardner was assigned to the high school as a full-time school resource officer.
Un adjunct al șerifului din județul Jefferson, Neil Gardner, a fost repartizat la liceu ca ofițer de resurse umane.