Ren Mingji (North Korean, )