An armed school resource officer on campus where a gunman killed 17 people never went inside the high school or tried to engage the gunman during the attack, a Florida sheriff said Thursday.

Israel said school resource officer Scot Peterson “was absolutely on campus through this entire event. He was armed, he was in uniform.” Israel said Peterson should have gone in and “addressed the killer, killed the killer.”

That officer has now resigned. Read more at NBC.