The name "Choson"

The North Korea's official name in Korean is "Choson Minjujuui Inmin Gongwhaguk(democracy people's republic) . So people might think that the North Korea got its name after Choson dynasty, even though the North Korea considers Choson was backward and says they eliminated legacy of Choson. While I was in class and listened Prof.Larsen's lecture, I came up with an idea that the North Korea might choose its name after ancient Choson. There is no clear evidence to support my idea but the North Korea does not deny inheritance of ancient Choson at least. In addition, they support 'Tan-gun' story, teach the story at school and I made a huge tomb saying that it found bone of 'Tan-gun'.