The Kingdom of Tungning -LRB- -RRB- is also sometimes called the Kingdom of Zheng -LRB- Cheng -RRB- -LRB- -RRB- ou le Royaume de Yanping -LRB- -RRB-.
Le Royaume du Tungning est aussi parfois connu sous le nom de :