they have 6,000 we have 5,000

Hopefully we don’t have to use them

combine other countries that will be allied with the US

then you'd also have to add chinas to russias counting that they have a good chance of allying