— , fr. Rio Janeiro ; den 20 : August.