noun
: a large man-eating crocodile ( Crocodylus porosus ) of East Asia and Indonesia that reputedly attains a length of 30 feet and that is a saltwater or brackish water species common about the outlets of rivers but also encountered far from land — called also estuarine crocodile