Maria Lenk, a primeira mulher brasileira a participar dos Jogos Olímpicos A nadadora tinha 17…