how small North Korea is.