I’d be interested to know the species of the shark. Blue sharks grow to about that size, and they’ve been known to attack humans, but such attacks are rare.
Other reports said it was a great white.