How wars end – part IV: Gulf War