Olympic Aquatics stadium on May 20, 2017 in Rio de Janeiro. (Buda Mendes/Getty Images)

Olympic Aquatics stadium on Aug. 11, 2016 in Rio de Janeiro. (Vaughn Ridley/Getty Images)