That's pretty wild, you mostly hear about great whites up in Jacksonville, I had no idea they ventured into the keys!!! could you provide a link to the original article, I'd like to read a bit more about this
There have been at least couple of Great Whites caught off of the keys, I'm pretty sure in the area of the Islamorada Hump. I haven't heard of any for many years, not sure if it's because they have become a protected species you can't bring to the dock anymore or not. If you do a Google search I'm sure you'll find something, I recall a monster Great White being caught down there not too long ago.