Rio Janeiro , har den 8 Dec.