Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Qual foi o nome do líder cujo mandato terminou em 2013?
 ###Tabelas: CREATE TABLE 2010_lightweight_manx_grand_prix_practice_times__&__leaderboard (2010_lightweight_manx_grand_prix_practice_times__&__leaderboard_id AUTO_INCREMENT PRIMARY KEY, Rank INT, Rider VARCHAR, Sat 21 Aug VARCHAR, Mon 23 Aug VARCHAR, Tues 24 Aug VARCHAR, Wed 25 Aug VARCHAR, Thurs 26 Aug VARCHAR, Fri 27 Aug VARCHAR, Sat 29 Aug VARCHAR) CREATE TABLE competitions (competitions_id AUTO_INCREMENT PRIMARY KEY, Competition VARCHAR, Current position / round VARCHAR, Final position / round VARCHAR, First match VARCHAR, Last match VARCHAR) CREATE TABLE by_prison_inmates_and_incarceration_rate (by_prison_inmates_and_incarceration_rate_id AUTO_INCREMENT PRIMARY KEY, Region VARCHAR, Prison inmates Men INT, Prison inmates Women INT, Prison inmates Total INT, Incarceration rate Male INT, Incarceration rate Female INT, Incarceration rate Total INT, Country comparison VARCHAR) CREATE TABLE main_race (main_race_id AUTO_INCREMENT PRIMARY KEY, Team VARCHAR, Driver VARCHAR, Laps INT, Time VARCHAR, Grid INT) CREATE TABLE history_of_leaders (history_of_leaders_id AUTO_INCREMENT PRIMARY KEY, Name VARCHAR, Term start INT, Term end VARCHAR, Date of Birth VARCHAR, Date of Death VARCHAR)  
SELECT Name FROM history_of_leaders WHERE Term end = 2013