This kind of accidents are very unfortunate and my condolences to the family of deceased and her diving buddies.
But the sad truth is, this was at least third mine/cave accident in a couple of years span that happened abroad to a Finnish diver: Norway, France, Sweden.
As a Finn, I feel my duty...