20140810 sports.more-sports.others: Ledecky sets world record in 400m freestyle