Dating pangalan ng north korea