How was North Korea formed?