LONDON (Reuters) – Crude oil prices jumped back to 3-1/2-year highs on Wednesday after President Donald Trump pulled the United States out of an international nuclear deal with Iran, while the dollar continued its tireless ascent and world stocks held steady.