A user reports they can reach websites by typing their IP addresses into the browser, but cannot load any sites by their domain names. From the Windows command line, which tool should a technician use to directly test whether a specific domain name is being resolved to an IP address?