HalcyonDaze
Contributor
I would be quite surprised if anything is done, it will be chalked up to the "how rare shark attacks are" and be forgotten about. Cocos are a cash cow, those benefiting don't want another incident but I'd guess they also don't want anything changing or limiting them. I'll be surprised if there is ever a lot of details about this incident made public.
Hawaii seems to be one of the locations where there are regular sightings of tiger sharks, but there seems to be a lot more respect for them there, more of an altitude of if a tiger shark shows up, it's time to go, not like other places where encounters are less frequent and its "yay!, it's a tiger lets hang out with it".
So what do you mean by "if anything is done?" It's the ocean. There are sharks in it. Places like Cocos that have a healthy population of them are prime dive destinations because of that. It's a hazard of diving just like any other accident category on this board, and by comparison a very rare one. If you want to dive in a place where you're guaranteed not to be at risk of a shark attack, go blow bubbles in a quarry.
Along those lines, I don't know where you're getting your info about Hawaii, but that's home base for One Ocean Diving (Ocean Ramsey and Juan Oliphant's operation); their IG feed is full of pics of them freediving in the open with large tigers. Kona on the big island has a number of regular tigers that the dive charters know quite well.