Ledecky sets new Olympic Record!

Ledecky lives up to her reputation and sets a new Olympic record with 15:35.45. Further, China's Jianjiahe Wang sets a new Asian record too, with 15:41.49.

With this, today's swimming events come to an end.