which border country of the korean peninsula is also the country of song puxuan , a musical group ?
SELECT DISTINCT var_uri where brack_open dbr_Korean_Peninsula dbo_border var_uri sep_dot dbr_Song_Puxuan dbo_country var_uri brack_close