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

Seja o melhor treinador de bancada!

Subscreva a newsletter do SAPO Desporto.

Vão vir "charters" de notificações.

Ative as notificações do SAPO Desporto.

Não fique fora de jogo!

Siga o SAPO Desporto nas redes sociais. Use a #SAPOdesporto nas suas publicações.