which country has leaders pak pong-ju and hwang pyong-so ?
SELECT DISTINCT var_uri where brack_open var_uri dbo_leader dbr_Pak_Pong-ju sep_dot var_uri dbo_leader dbr_Hwang_Pyong-so sep_dot var_uri a dbo_Country brack_close