Miami-Dade County This story was originally published December 10, 2014 at 7:17 PM with the headline "."
