Russia's Oil Revenue Jump 32% Y/y to $9.3 Billion in May