China–Korea border