Ant’ŏ, North Korea