RIO DE JANEIRO den li juli.