What is the name of the student who has the highest total credits in the History department.
return students ;return credits of #1 ;return #2 in  the  History department ;return sum of #3 for each #1 ;return #1 where #4 is highest ;return name of #5
['select', 'project', 'filter', 'group', 'superlative', 'project']