LONDON (Reuters) – Crude oil prices hit 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 touched a new high for the year and world stocks held steady.