Um administrador de rede recebe um relatório de que um grupo de usuários não consegue acessar um servidor web interno, apesar de estar conectado à rede corporativa. Após investigar, o administrador observa que o problema está relacionado à resolução de nomes, pois os usuários não conseguem resolver o nome do servidor web para seu endereço IP. Considerando que o servidor DNS interno está configurado corretamente e os registros DNS estão presentes, o procedimento adequado para identificar e solucionar o problema de resolução de nomes é: