Carlos Mayo a la final olímpica de 10.000 metros