20160118 sports.more-sports.others: Ledecky smashes 800m free world record