RIO JANEIRO den 10 juli.