Federal judge officially blocks proposed $25 billion grocery chain mega-merger