What happened to the public option?