CREATE TABLE table_name_12 (time VARCHAR(255), jockey VARCHAR(255))
What is the time for when cornelio velasquez was the jockey?
    
SQL: SELECT time FROM table_name_12 WHERE jockey = "cornelio velasquez"