Meh. A guy I went to college with grew up in Winter Park, used to go surfing at New Smyrna / Ponce Inlet years ago, like 45 +/-. Surfing with 6-7’ sharks was part of the deal.
I was going to say- this probably happens all the time..I remember one time in Cocoa Beach where we have condos, seeing three small sharks in shallow water swimming in a circle- people were in the water fishing nearby...