Ariarne Titmus defeats Katie Ledecky at swimming world champs