There is no standard about that, but port 8443 is sometimes known as the https-alt, and it seems the only one being popularly used as alternative HTTPS port.
It may have become popular because of mod_nss (an HTTPD module alternative to mod_ssl) using it on its default configuration.