The Iran war doubled Russia's oil revenue to $9 billion