Question: What is the name of the student who has the highest total credits in the History department?
SQL: SELECT name FROM student WHERE dept_name   =   'History' ORDER BY tot_cred DESC LIMIT 1