UPDATE: Saudi Arabia restores the East-West oil pipeline.