Tokyo Olympics live updates Day 9

Welcome to our live coverage of Day 9 of the Tokyo Olympics.