You can translate one public ip to two different internal ip addresses by using different port numbers for each internal server.
eg.
internal ips : 10.1.1.1 ; 10.1.1.2.
public ip : 100.1.1.1
use port 8080 to map traffic for server with ip 10.1.1.1
use port 8081 to map traffic for server with ip 10.1.1.2
translation would look like :
100.1.1.1:8080 --> 10.1.1.1:443
100.1.1.1:8081 --> 10.1.1.2:443
Hope it helps.
Thanks,
R.Seth