Just installed docker, hello-world won't run

I just installed docker for windows on a windows 10 enterprise laptop. (Docker version 18.06.1-ce, build e68fc7a) We have an agency proxy, so I set the proxies in the docker settings the same way they’re set for Chrome. When I try to run the hello-world sample, I get proxy related errors.

In Chrome, the proxy server is agency-name.gov and the port is 8080. We use the same for both http and https.

In docker, settings, proxies:

Proxy set to agency-name.gov, no port specified returns:

docker: Error response from daemon: Gethttp_s://registry-1.docker.io/v2/:read tcp 10.124.45.108:57406- >xx.xx.xx.xxx:80: wsarecv: An existing connection was forcibly closed by the remote host.

Proxy set to agency-name.gov, port 8080 specified returns:

docker: Error response from daemon: Get http_s://registry-1.docker.io/v2/: Proxy Authentication Required.

Proxy set to xx.xx.xx.xxx:8080, port 8080 specified returns:
docker: Error response from daemon: Get http_s://registry-1.docker.io/v2/: Proxy Authentication Required.

Any idea what I should do next?

Try http(s)://username:password@proxy_host:port/, but username and password need to be encoded. I found a blog post and github issue about it.