Court Ruling Implies That Barr Must Redact Grand-Jury Information from Mueller Report