"It's shocking. It's hurtful," said an emotional Miami-Dade County Mayor Carlos Alvarez, adding that he knew both slain officers personally, having once been the police department's director. "Really, I can't put it into words."The cops had been searching for a man involved in an earlier slaying. A family member said the suspect "would be right back", according to CNN. Minutes later gunfire erupted with Castillo--a father of three dying at the scene. Haworth--a 23-year-veteran died on the operating table.