Include the private port in mine.get_docker
Merge pull request #13084 from nicolehubbard/docker-private-port

Include the private port in the get_docker mine