"It was a group of about 13 of them, and there was a shoot out. I suspect the man who was eaten by the crocodile was either injured during that shoot out and tried to escape through the water, or he was shot in the water, and was already dead when the crocodile ate him."