CREATE TABLE student (name VARCHAR(255), dept_name VARCHAR(255), tot_cred VARCHAR(255))
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