Rio Janeiro , har den 13 Dec.