Military and civilian satellites in support of allied forces in the Persian Gulf War