how many shark attacks in destin, florida