海湾战争爆发于（ ）年。