CNNworldU.S. official: 10,000-plus ISIS fighters killed in 9-month campaignLaura Smith-Spark and Noisette Martel, CNNJune 4, 2015
