With CIA strike, signs Trump is 'shaping the battlespace' in Venezuela