Seeing as this is the military, I would guess that they have triple redundant systems for some things, but that still is a decent amount of computing power there.
I once interviewed a guy whose resume implied he played a large part in designing some of these redundant systems for carriers/whatever.
I asked him how he dealt with failover/etc, and said they used master election, and that it was guaranteed to work, and then proceeded to describe exactly a system guaranteed to fail. He had never heard of paxos, and when i described it to him, he was sure it wouldn't work.
The "Regimental Commander" of the military academy boarding school I went to was a James Kirk my freshman year. And his school rank was captain.
EDIT: Actually, the Zumwalt looks promising this way. Just add two nacelles and a saucer section.
EDIT: The Zumwalt bridge looks promising in another way. (Leiji Matsumoto) But instead of the 3 smaller screens, have a single 30x30 foot screen leaning forward at a 45 degree angle.
I asked him how he dealt with failover/etc, and said they used master election, and that it was guaranteed to work, and then proceeded to describe exactly a system guaranteed to fail. He had never heard of paxos, and when i described it to him, he was sure it wouldn't work.