¿En qué prueba fueron oro olímpico en Barcelona '92, Antonio Vázquez, Juan Carlos Holgado y Alfonso Menéndez?