That likely means an abrupt end to a campaign of airstrikes that began in March, when Trump promised to use “overwhelming ...