Ledecky s'impose sur le 1500 m nage libre et décroche son 17e titre mondial