mugger crocodile (Crocodylus palustris); marsh crocodile; Indian crocodile; Indus crocodile; Persian crocodile