You may also resolve directly at: https://dns.google/resolve?name=puppet-vagrant-boxes.puppetlabs.com&type=A