An Orange County high school adds deputies as a precaution.
Copyright 2018 by WKMG ClickOrlando - All rights reserved.
Get email alerts for local stories and events around the world.