Ledecky smashes swimming world record in 800m to take freestyle gold