How to redirect with Port to HTTPS

I have to redirect the URL for eg:-   http://yahoo.com:8013 to https://yahoo.com   And the https://yahoo.com is a valid SSL certificate   Your help is more appreciate.   Thanks