Fetching details from the dictionary...
mugger crocodile (Crocodylus palustris); marsh crocodile; Indian crocodile; Indus crocodile; Persian crocodile