Lopes foi quarto da sua série, com um tempo de 7.56,15 minutos, a mais de três segundos do recorde nacional que o próprio estabeleceu nos Europeus de maio, em Budapeste, e ficou de fora dos oito melhores, bem longe do melhor registo, do ucraniano Mykhailo Romanchuk (7.41,28).

O luso tinha conseguido o 20.º melhor tempo, com recorde pessoal, nos 400 metros estilos, no sábado, no que foi a sua estreia em Jogos Olímpicos, com um tempo de 4.16,52 minutos que chegou para vencer o seu 'heat', mas não para seguir em prova.

Todas as notícias e reportagens sobre Tóquio 2020 acompanhadas ao minuto pelo SAPO Desporto