20160814 sports.rio-2016-olympics.news.aquatics: Rio 2016: Phelps leaves Olympic pool but not the sport