Florida school hires armed ex-combat veterans to defend against potential shooter