RIO JANEIRO d. , 31 juli.