Redirect https to 8040

Hello,

I'm trying to publish new url, which is in port 8040, I want to publish it in 443, so the scenario as below.

when the user want to access the url, must be in 443 https://abc.com, then, from DMZ F5 to the internal server should be in port 8040, is there any way to redirect https to 8040?

I found many articles but from http to https.

please advise.