DOJ agrees to make Mueller court activity public, with some redacti...