Alternate Names for North and South Korea.