I stand corrected, Guy Who Thinks, unless I find other figures that I can trust.

But from the people who were there, it does seem that a far larger number would have died if the US had had to invade.