Original: The Kingdom of Tungning ( ) is also sometimes called the Kingdom of Zheng ( Cheng ) ( ) or the Kingdom of Yanping ( ) .
Simplified: The Dutch gave him the fort and left all the goods and property of the Dutch East India Company behind .