What is the 2008 population in 함흥 (Ham Hyung)?
CREATE TABLE "north_korea_dprk" (
  "city" text,
  "korean" text,
  "hancha" text,
  "province" text,
  "population_2008" real
);
SELECT SUM("population_2008") FROM "north_korea_dprk" WHERE "korean"='함흥';