Katie Ledecky wins gold in 400-meter freestyle at Rio Olympics