( Triton punetatus ).