CREATE TABLE table_name_13 (time_retired VARCHAR, fin_pos VARCHAR)

What was the time of the driver with a finish position of 19?
SELECT time_retired FROM table_name_13 WHERE fin_pos = "19"
SELECT "time_retired" FROM "table_name_13" WHERE "19" = "fin_pos"