Enhydris jagoriiStriped Water Snake, Jagor’s Water Snake