Some details about the ASN announcing the DoD prefixes: https://ipinfo.io/AS8003
It looks like they're not just announcing 11.0.0.0/8 but also a bunch of more specific routes, including 11.0.0.0/13 and 11.0.0.0/24
It looks like currently their only peer is Hurricane Electric: https://ipinfo.io/AS6939