What does "mugger" mean?

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

Sources