If James Pethokoukis’s source is right, the public option is dead: “Dems to use August recess to break news to base about no public option rather than rallying troops. Game over on that issue . . .”