A user reports they cannot reach an internal file server by name. From the user's Windows workstation you can successfully browse external websites. You want to quickly confirm whether the workstation can reach the file server's IP address (10.0.5.20) at the network layer before investigating name resolution. Which command should you run first?