RIO JANEIRO den 31 juli.