CREATE TABLE table_name_12 (time VARCHAR, jockey VARCHAR)

What is the time for when cornelio velasquez was the jockey?
SELECT time FROM table_name_12 WHERE jockey = "cornelio velasquez"
SELECT "time" FROM "table_name_12" WHERE "cornelio velasquez" = "jockey"