Senator Manchin is Out. Where Does That Leave the Senate After 2024?