Named after the Town in the Democratic People's Republic of Korea.
A crater is a circular depression likely created by an impact event. On Mars large craters are named after deceased scientists, writers and others who have contributed to the lore of Mars. Small creaters (less than 60km) are named after small towns and villages.