how many people play for the north korea national football team ?
SELECT DISTINCT COUNT attr_open var_uri attr_close where brack_open var_uri dbo_team dbr_North_Korea_national_football_team brack_close