Oil prices spike after Trump declares Iran cease-fire ‘over’