Petrúcio Ferreira leva ouro e bate recorde em Tóquio; Washington Júnior é bronze
Recordista mundial e ouro no Rio-2016, o paraibano de 24 anos foi o porta-bandeira do Brasil na cerimônia de abertura da Tóquio-2020
Source: otempo.com.br