20150803 sports.more-sports.others: World 100m butterfly record falls; Ledecky; Sun retain titles