Use Harbor Proxy for Docker containers.

[gregturn]

To reduce pressure on Docker Hub, leverage internal Docker proxies.