Fetching details from the dictionary...
saltwater crocodile (Crocodylus porosus); estuarine crocodile