You never can tell with an elephant and crocodile rivalry