Wow, from the source — “Miami News” — I thought I had gone back in time. The Miami News stopped publication 20 years ago, leaving the Herald as Miami’s only daily. The source here is actually the local NBC affiliate, which is called “NBC 6” (or sometimes even by its call letters, WTVJ), not “Miami News.”
Sorry, should have noted in the web address.
Shows my ignorance of the area.