War hasn't been declared officially.

> as just three of Trump's Republicans voted with every Democrat in favor of moving ahead

Lets name parties. US republicans support Trump in his war efforts. Democrats are against.

Not "senate in general" with implied "both sides".