I just saw this on the news. Very sad!

Just called one my Sheriff buddies...this is horrible. It's the bull sharks again, they seem to make a exodus here every couple of years. The girl was swimming with friends and a school of baitfish came through..the shark thought her legs were fish.

Horrible. This is the first time anyone has died from a shark attack here in the 33 years of living here. We've only had about a half a dozen of attacks in those 30 years too.

Isn't Destin like "Shark Fishing Capitol of the known Universe" or something like that?? Or did the tree-humpers screw that up too?