Four Republicans voted with the Democrats, and the Senate passed a resolution calling for an end to the war or, alternatively, for obtaining its approval before renewing it.
The resolution has no practical effect, but it represents the first rebellion within the party against Trump.