US kills Al-Qaeda-linked leader behind ISIS attack that killed two service members and American interpreter, military says