"Since 1995 the WFP, according to its website, [check] has shipped into North Korea more than four million tons of ???commodities??? ??? including such goods as rice, wheat and corn ??? valued by the WFP at $1.7 billion." . . . .