Record du monde pour Ledecky sur le 800m en petit bassin