20020818 unknown: US helped Iraq against Iran during Gulf War