Given swimmer Michael Phelps' gold-winning abilities, should he retire after this or aim to also compete in the 2020 Olympics at age 35?