A deepwater crocodile