Question: What is the name of the student who has the highest total credits in the History department.
Schema: create table student (name varchar, dept_name varchar, tot_cred varchar, PRIMARY KEY (name))
SQL: select name from student where dept_name = 'history' order by tot_cred desc limit 1