The day’s Olympics medal winners: July 31