The port for REST API (e.g. 10443).