20160712 sports.rio-2016-olympics.news: The Rio Olympics in 20 fun numbers