This is one outlet's own report from Okaloosa County School District — the article as it was filed. Other outlets are covering the same event; open the full story to compare every source side by side.