What’s at Stake for Oil Markets as Trump Strikes Iran