Spring Boot: Tomcat redirects to HTTPS 8443, no matter which HTTPS port I specify

Question

I use a fairly standard method of redirecting Spring Boot\'s embedded Tomcat from HTTP to HTTPS, which repeates in a number of tutorials. The method works perfectly for the port