<page_title> Katie Ledecky </page_title> <section_title> Personal bests </section_title> <table> <cell> 3:56.46 <col_header> Time </col_header> </cell> <cell> WR <col_header> Note(s) </col_header> </cell> </table>
Katie Ledecky made a world record with a time of 3:56.46.