Task: Text to Code
Input (English): Give the name of the student in the History department with the most credits.
Output (English): SELECT name FROM student WHERE dept_name  =  'History' ORDER BY tot_cred DESC LIMIT 1