AWS GovCloud already exists FYI (as you hinted) and it is absolutely used by the DoD extensively already.
alt Hacker News