The common name for Crocodylus palustris palustris is mugger crocodile