RIO JANEIRO den 1 aug.