Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Qual é a população de 함흥 (Ham Hyung) em 2008?
 ###Tabelas: CREATE TABLE north_korea_dprk (north_korea_dprk_id AUTO_INCREMENT PRIMARY KEY, City VARCHAR, Korean VARCHAR, Hancha VARCHAR, Province VARCHAR, Population (2008) INT) CREATE TABLE round_of_64 (round_of_64_id AUTO_INCREMENT PRIMARY KEY, Date VARCHAR, Time VARCHAR, Home VARCHAR, Geust VARCHAR, Result VARCHAR) CREATE TABLE poland (poland_id AUTO_INCREMENT PRIMARY KEY, Actor VARCHAR, Character VARCHAR, Soap Opera VARCHAR, Years VARCHAR, Duration VARCHAR) CREATE TABLE t20_results_by_year (t20_results_by_year_id AUTO_INCREMENT PRIMARY KEY, Year VARCHAR, Played INT, Wins INT, Losses INT, No Result INT, % Win VARCHAR) CREATE TABLE living_british_supercentenarians (living_british_supercentenarians_id AUTO_INCREMENT PRIMARY KEY, Name VARCHAR, Birth date VARCHAR, Age as of 1 February 2014 VARCHAR, Country of birth VARCHAR, Place of residence VARCHAR)  
SELECT SUM Population (2008) FROM north_korea_dprk WHERE Korean = 함흥