“Venezuela's oil shipments to China were used as barter to pay down existing debt rather than for cash payments.”