korea is separated from japan by what strait?