— RIO JANEIRO den 20 juli.