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