RIO JANEIRO den 23 Juli.