How many North Koreans were killed and captured in total?
return North Koreans ;return #1 that were killed ;return #1 that were captured ;return number of  #2 ;return number of  #3 ;return sum of #4 and  #5
['select', 'filter', 'filter', 'aggregate', 'aggregate', 'arithmetic']