War in the Gulf ( فيلم وثائقي عن حرب الخليج )