¿Qué nadador español fue el primer campeón olímpico?