Shark attack risks while diving — the real story