Deployment: publication of the Docker Nginx 443 port