RIO JANEIRO den 17 juli.