6500 died...maybe but no one will know the truth. I was in the Gulf States when Russian whores were dumped in the gulf. Rumors at that time were prisoners were drive out to the desert. The 1990s were a different time.
The count has actually been documented (on the low side). I have no link as I didn’t save it.