Nadador José Paulo Lopes 20.º nos 400 metros estilos com novo recorde pessoal

Lopes, que se estreou em Jogos Olímpicos, nadou a distância em 4.16,52 minutos, um novo máximo pessoal.