20160813 sports.rio-2016-olympics.news.aquatics: Ledecky wins women's 800m freestyle Gold in world record