Surely arm is a better choice?
Even more, some considerations could have more weight then architecture for particular case.
Examples are good compiler/libs/frameworks, some specific software, good support, experience on similar contracts, big number of professionals with military clearance.
That's why some long time IBM won most govt contracts on supercomputers.
But once IBM decided, govt is not interest enough client and after that moment, most contracts won by Intel.