US Government starting to mine Bitcoin?

Got a call from my son who was in the military saying that the US recently hired private contractors to build a huge Bitcoin mining facility in a military base in Texas. He told me a buddy who is still serving told him yesterday. Can anyone confirm this?