If any of the dinks had a shred of courage they would present a Declaration of War to a vote
The last time Congress declared war was in 1942, against, I believe, Hungary, Romania and Bulgaria. We have enjoyed well over 70 years of peace since then. That must be some sort of record.