RIO JANEIRO den 4 juli.