The gunman, who was an ex-officer, later killed himself.