Which of these countries borders South Korea?