How many more Navy and Marine personnel were there than civilians?
return Navy personnel ;return Marine personnel ;return civilians ;return number of  #1 ;return number of  #2 ;return number of  #3 ;return sum of #4 and  #5 ;return the  difference of #7 and  #6
['select', 'select', 'select', 'aggregate', 'aggregate', 'aggregate', 'arithmetic', 'arithmetic']