Fue el tiempo total de Pedro León en el Mundial. Incluso, el sanjuanino fue tres minutos más rápido del tiempo que a priori manejaba para esta competencia.