Olympics Day 9 Live: Team GB celebrate their best-ever swimming haul at a Games, as Duncan Scott makes history