Laut US-Präsident Donald Trump wurden bei dem Einsatz elf Menschen getötet.