I will note that just because a body is chewed up by a shark does not mean the shark is the cause of death. Diver could die of some other cause and then the shark finds it. Not saying that I think that is what happened. Just that this cannot be ruled out based on what we know