I tried to play with WP code, but it was too time consuming. Unfortunately, there is no single place to modify the SSL URLs, or at least I did not discover it.
After a few hours I gave up, moving another system to a non-default SSL port and allowing WP to get the control of HTTPS:443
Hopefully, WP guys will take care of that one day.