SSH port number

Specify a port number to use for SSH communications.