"Right now our thoughts and prayers are with the Gulf Shores High School Family," said Eddie Tyler, the superintendent for Baldwin County Alabama Public Schools. "I want to thank all the EMS and law enforcement professionals who responded and are still assisting families."