A help desk technician is trying to establish a Remote Desktop connection to a Windows server on the internal network, but the connection times out. Other services on the server, such as its web management page over HTTPS, respond normally. The technician suspects a host firewall rule is blocking the required port. Which port must be allowed to permit the Remote Desktop connection?