20170218 sports.more-sports.others: Olympic white elephants? Rio's got a herd of them