I finally used tactical nukes last night. The Romans had 4 armies of tanks and infantry running around, killing anybody who tried to settle what was once the Greek and Egyptian empires. After the second time they did this to me, I found 2 of the armies hanging out in the same city. I moved two subs with missles within range, and hit the city with them. Both armies survived, which leads me to believe that, because no unit within an army actually dies until they all die, the game checks for each unit in the army rather than treating them all as one. Kind of irritating. I don't really want to have to send 20+ tanks to their deaths to kill these, but I don't think I have another option.