Zhengzhou most definitely was never a ghost city, being one of China's 8 ancient capitals. Maybe they meant zhengdong? Ghost cities in china are almost always underpopulated districts of existing large cities.
But I agree Zhengzhou is not one of them.