Police search for gunman who shot Miami-Dade police officer

A Miami-Dade police officer was injured in a shooting in Miami’s Buena Vista neighborhood Wednesday afternoon, according to police sources.