What port does the HTTPS protocol use by default?

$80/$TCP

$443/$TCP

$443/$UDP

$8443/$TCP