"Former commandery of China in Korea" . . . .