Tylototriton verrucosus is a species of newt found in the Indian subcontinent and Southeast Asia. Common names include: Himalayan newt, crocodile newt, crocodile salamander, Himalayan salamander, red knobby newt. Wikipedia