US oil exports soared to a record 6.4 million barrels last week. Out of the US SPR... and to foreign buyers