What does "muggur" mean?

Muggur: The common crocodile (Crocodilus palustris) of India, the East Indies, etc. It becomes twelve feet or more long.

Sources