Name resolution in the .MIL domain