CREATE TABLE table_name_5 (year VARCHAR(255), tournament VARCHAR(255), result VARCHAR(255))
What was the year of the World Half Marathon Championships with a result of 3rd?
    
SQL: SELECT year FROM table_name_5 WHERE tournament = "world half marathon championships" AND result = "3rd"