Minutes before Trump's announcement, $800 million in trades made on oil prices