Original: The Kingdom of Tungning () is also sometimes called the Kingdom of Zheng (Cheng) () or the Kingdom of Yanping ().
Simplified: The Kingdom of Yanping.