Katie Ledecky marca récord olímpico en los 800m libres