Rio, l'acqua della piscina dei tuffi diventa verde