Katie Ledecky breaks 800m freestyle world record