Gong Zhen

Gong Zhen is a planet in the Zheng He star system.