Fla. officer dies of gunshot wounds, 3 officers injured
"It is a very sad day for Dade County," said Mayor Carlos Alvarez.
By Andres Viglucci and David Ovalle
The Miami Herald
Gunman suspected in Fla. police killings shot dead
Four arrested for aiding Fla. cop killer LaBeet