Nadador Gabriel Lopes bate recorde nacional
13 ago. 2022
, por AgĂȘncia Lusa