what strait separates japan and korea?