Katie Ledecky dominated the 800m freestyle at Rio 2016 so completely that she lapped competitors in qualifying and shattered world records.