<page_title> Katie Ledecky </page_title> <section_title> World records </section_title> <table> <cell> 800 m freestyle <col_header> Event </col_header> </cell> <cell> 8:13.86 <col_header> Time </col_header> </cell> </table>
In the 800-meter freestyle, Ledecky finished the event in a world record of 8:13.86.