Despite Iran's Attacks, Gulf Oil Exports Exceed Prewar Levels | Hacker News Reader