Ledecky breaks world record for 800m freestyle