I don't know for sure how much the US government / DOD spends on RHEL licenses, but I've worked at plenty of contractors who were using it (and CentOS). I would be surprised if a significant amount of RHEL's revenues weren't from the federal government.