It’s Over. 9 Senate Democrats Join the Republicans on Cloture