Katie Ledecky estreia como profissional e quebra recorde mundial por 5s