Anderson's crocodile newt (Echinotriton andersoni); Anderson's newt; Ryukyu spiny newt; Japanese warty newt