what straight separates japan and korea?