is portia a princess in the merchant of venice