Re: Name resolution in the .MIL domain