Newly-crowned 400m freestyle Olympic champion Katie Ledecky (USA) posts the world leading time at 4:05.21, winning by a big 6.51 seconds.