a crocodile that lived in —