what strait separates japan from south korea?