CREATE TABLE table_name_40 (name VARCHAR(255), year_appointed VARCHAR(255), years_until_mandatory_retirement VARCHAR(255))
what name has an appointed year of 2009 and years until mandatory retirement of 13 years?
    
SQL: SELECT name FROM table_name_40 WHERE year_appointed = 2009 AND years_until_mandatory_retirement = "13 years"