Can you change your DNS settings to ssh into an IP that has a port?

I'm running a server that is using a VPN with port forwarding. The IP is only accessible to the outside internet through the port '12345'. So when I want to connect to the server I have to access it by '111.111.111.111:12345' or 'example.com:12345'. I'm wondering if I can set up either a URL Forwarding (Redirect) or a DNS Type record where I can put a domain as 'ssh.example.com' so I can use that to ssh into the server. I would want to run the command: ssh user@ssh.example.com