.mil nameserver problems?