海湾战争发生于（）年。