in addition santos fought as combat pilot in the first gulf war