[outages] Domain army.mil down

None of the three name servers for army.mil reply. I assume it is related to the breach of the Web site by the SEA two hours ago. May be the DNS shutdown was voluntary? http://www.wsj.com/articles/army-website-goes-offline-as-pro-assad-group-cla...