Ledecky breaks world record in 800M free