Renamed SSHHostPort to SSHPort

To be consistent with DockerPort, as both are on the host.