Oil prices slip after Trump’s Venezuela strikes

Investors weigh short-term disruption to Venezuelan exports against potential to eventually pump more crude