Default to port 443 for https