The HTTPS port of the origin. Defaults to 443. Changing this forces a new resource to be created.
443