Which of the following utilities would Kim, a technician, use to resolve the FQDN of a web server to its IP address?