How many is the largest estimate of Mongol, Chinese and Korean soldiers in the Yuan fleet?
return the  Yuan fleet ;return estimated Mongol and  Chinese soldiers of #1 ;return estimated Korean soldiers of #1 ;return number of  #2 ;return number of  #3 ;return the  highest of #5 ;return sum of #4 and  #6
['select', 'project', 'project', 'aggregate', 'aggregate', 'aggregate', 'arithmetic']