What are the names of students in the History department?
select name from student where dept_name = 'History'
Which one has the most credits?
select name from student where dept_name = 'History' order by tot_cred desc limit 1