I've dived a fair bit - seen a few sharks around too, but I usually maintain that its the shark you don't see that's gonna get you - but this is obviously an unnatural situation for everyone involved.
As some have said if / when that shark decides he's pissed off / hungry / or just a bit inquisitive it'll end ugly. But at least there'll be great footage in the camera for whoever is brave enough to retrieve it !