Which of the following does not form part of Korea's borders?