That's sad to hear. I've been swimming/waterskiing in that lagoon a few times. Really surprised to hear this was on the lagoon side, as I believe there are shark nets protecting the whole lagoon.