Traders bet half a billion dollars ​on the price of crude only 15 minutes before U.S. President Donald Trump announced a five-day delay to attacks ‌on Iran's energy infrastructure that sent the market plunging, exchange data and Reuters calculations showed.