Original:  Names In reference to its reigning dynasty, the Kingdom of Tungning is sometimes known as the Zheng dynasty (), Zheng Family Kingdom () or Kingdom of Yanping () . Taiwan was referred to by Koxinga as Tungtu ().
Revised:  Names In reference to its reigning dynasty, the Kingdom of Tungning is sometimes known as the Zheng dynasty (), Zheng clan Kingdom () or Kingdom of Yanping () . Taiwan was referred to by Koxinga as Tungtu ().
Edit intent: clarity