Will J.D. Vance cast between 7 tie-breaking vote in the Senate in 2025? | SimpleFunctions