https://www.direttaradio.it/mondiali-di-nuoto-budapest-2017-diretta-risultati-del-23-luglio/
Mondiali di Nuoto, Budapest 2017: diretta risultati del 23 luglio