what is time, when jockey is john velazquez, and when trainer is todd a. pletcher?
1:15.80