Robot Traders Hike Bullish Oil Bets as Trump’s Iran Comments Jolt Prices