'US DoD Buys Renewed Support for Red Hat Certificate Software