Thomas jumps into the water from a spring board at a public swimming pool in Mengen, Germany, 28 August 2016. (Photo by Thomas Warnack/EPA)

A National Army of Colombia soldier, who was wounded by a mine, swims at a pool in Bello, municipality of Antioquia, March 25, 2015. (Photo by Fredy Builes/Reuters)

A child attends a training session in a swimming pool on July 10, 2007 in Wuhan of Hubei Province, China. (Photo by China Photos/Getty Images)

Opera singers perform in the pool “AquAria PALAOA” during a rehearsal at the swimming pool Neukoelln on April 27, 2011 in Berlin, Germany. The premiere of the underwater opera AquAria PALAOA is on May 1st. (Photo by Andreas Rentz/Getty Images)

Local residents crowd a swimming pool during a hot weather in Suining, Sichuan province, 27 July 2008. (Photo by Reuters/Stringer)

Daniel Ricciardo performs alongside Michael Kneightley in an RAAF F/A-18 Hornet at RAAF Base in East Sale, Victoria, Australia on March 12th, 2014. (Photo by Andy Green/Red Bull Content Pool)

A Lebanese man is reflected in a pool of dirty water as he casts his fishing pole from a rocky coastal area along the Beirut coastline, Lebanon, Monday, October 3, 2016. (Photo by Hassan Ammar/AP Photo)

A dog jumps into a swimming pool to retrieve a ball during the Chatsworth House Country Fair near Edensor, Britain on August 31, 2018. (Photo by Darren Staples/Reuters)