U.S. diplomatic officials -- for the first time publicly -- put a figure on the estimated number of ISIS fighters killed during operations to oust them from parts of Iraq and Syria.