Table: east_asia_cities_3
Columns: city
korean
hancha
province
population_2008

Question: What is the 2008 population in 함흥 (Ham Hyung)?
SQL: SELECT SUM("population_2008") FROM east_asia_cities_3 WHERE "korean" = '함흥'