International mediation and the Gulf War