city ​​named after Uncle Ho