Regardless of the packets destination, for a given internal source the source port stays the same on the public side.