A user reports that a company web application at portal.corp.example loads a certificate error page for an old server. Other users on different subnets reach the correct new server without issue. The DNS A record was updated yesterday to point to a new IP. From the affected Windows workstation, nslookup portal.corp.example returns the correct new IP address, but the browser still connects to the old server. Which action is MOST likely to resolve the issue?