Ao executar Vagrant up no diretório com Vagrantfile, recebo a seguinte mensagem de erro:

Bringing machine 'web' up with 'virtualbox' provider...
==> web: Box 'hashicorp/precise32' could not be found. Attempting to find and install...
    web: Box Provider: virtualbox
    web: Box Version: >= 0
The box 'hashicorp/precise32' could not be found or
could not be accessed in the remote catalog. If this is a private
box on HashiCorp's Vagrant Cloud, please verify you're logged in via
`vagrant login`. Also, please double-check the name. The expanded
URL and error message are shown below:

URL: ["https://vagrantcloud.com/hashicorp/precise32"]
Error: Failed to connect to vagrantcloud.com port 443: Timed out

Versões instaladas: VirtualBox 5.2.16 e Vagrant 2.1.2