"A reasonable chunk of the 3000 of "our civilians" you refer to are not in fact "Americans" [i.e. US Citizens]."

Ok, fair enough. I think the final death toll was 3,025. I'm not sure how many were americans, but I would guess about 90%.