(gdp north korea)/(gdp us