Configuration Example for WCCP Redirection for port 443