Rio Olympics 2016 schedule: Tuesday 9 August timings - Michael Phelps goes for 20th gold