Gregorio Paltrinieri campione del mondo 2017 a Budapest nei 1500 m stile libero