US swimmer Ledecky sets world record in women’s 800m freestyle