Military declassifies some Gulf War documents.