SCHEMA:
CREATE TABLE table_name_12 (time VARCHAR, jockey VARCHAR)
User Question:
What is the time for when cornelio velasquez was the jockey?


SELECT time FROM table_name_12 WHERE jockey = "cornelio velasquez"