What was the name of the leader whose term ended in 2013?
CREATE TABLE "history_of_leaders" (
  "name" text,
  "term_start" real,
  "term_end" text,
  "date_of_birth" text,
  "date_of_death" text
);
SELECT "name" FROM "history_of_leaders" WHERE "term_end"='2013';