US-led forces have executed 10 Islamic State pioneers in air strikes, including people connected to the Paris assaults, a US representative says. The air strikes are part of a double blow dealt to the militant group, after Iraqi forces removed it from the city of Ramadi.