didn't saudi also allow US operations to occur out of their land during the first gulf war too?