RIO JANEIRO den 3 juli.