While troubleshooting a network connection problem for a coworker, you discover the computer is querying a nonexistent DNS server. What command line utility can you use to assign the correct DNS server IP address?