How dangerous was the Iran-Iraq war for stability in the Gulf?