OKALOOSA COUNTY, Fla. — The first day of the 2024–25 school year for Okaloosa County public school students is August…