Talk:Future Map Game 3/@comment-25913433-20141113084556/@comment-24828675-20141113125139

No. South Korea's official name is Republic of Korea. The official name wouldn't differ.