using military force against Mexican cartels