Rio Janeiro , inkom den 19 Okt.