Hmmmm.. Could it be possible that the lighter variety (the second photo) is really T.shanjing. T.Shanjing and T.Verrucosus were once classified as just T.Verrucosus. Some pet dealers may not know of the distinction. The animals were most likely caught during the breeding season. A time of year when T.shanjing mate and lay eggs in and near the water only to return to a terrestrial life again afterwards. Animals collected in water could easily be the victims of mistaken identity.
As for the newt in the first picture, I would assume the flat tail suggest a permanent or prolonged aquatic lifestyle.
And the third newt could very well be T.Shanjing as well. It may even be from the same population as the second newt.
I purchased a pair of T.Shanjing in a tiny little town. It was the only time I have ever seen any Tylototritons for sale. I'm unsure of their origin but due to the small number of newts available, I would guess they were wild caught and most likely from one source. However their coloration and looks vary just enough to make them both unique. I will post pictures of them together.
Quite an interesting topic. It really gets me thinking.