Rio De Janeiro invests invests 1% of city funds into cryptocurrency.