Oil prices spike after US assassinates Iranian military leader