Oil prices jump 5% as Trump keeps Iran escalation option open