What Should a Catholic Judge Do if the Law is Wrong?