RE: .mil domain root only hosted by one server??