The largest living crocodile that any of us had ever seen