Give the name of the student in the History department with the most credits.
select name from student where dept_name = 'History' order by tot_cred desc limit 1