What is the name of the student who has the highest total credits in the History department.
select name from student where dept_name = 'History' order by tot_cred desc limit 1