Nadador português consegue primeiro máximo nacional nesta edição dos Jogos Olímpicos