US revokes Iran oil waiver July 7, crude jumps on supply risk