what countries are seperated by the korea strait?