“Tianzhen lizard” from Late Cretaceous China. Named in 1998 to indicate an ankylosaurid found in Tianzhen County, in Sichuan Province, China, in the Late Cretaceous Huiquanpu Formation at Kangdailiang near Zhaojiagou Village. Named by Peng Guangzhao and Cheng in 1998.