The GOP Effort to Block Pennsylvania’s New Map Is Dead