Which of the following network servers would be MOST useful in translating a URL into an IP address?