according to Seminole County Public Schools. Officials said, as per safety protocols, the schools immediately went into a Code Red so law enforcement could investigate. Police found students who ...