Miami-Dade County This story was originally published October 31, 2014 at 3:55 PM with the headline "."
