Elephant lucky from the jaws of crocodile