Our understanding is that the divers did actually see a shark take their colleague.

The stand up of the army is doing very, very well. The police we're more concerned with.

Horrific injuries would have been inflicted and there's little chance of finding the person alive.