Чжунъ, Ду, Корейская Народно-Демократическая Республика