Rio 2016 diving pool turns green