I can't speak as to whether it's over or not. It's probably in everybody's best interests if it was. There are some circles that don't want the war to be over, certainly. There are some high profile politicians and lobbyists who do legitimately believe in bringing about regime change, by force. But it's not in Trump's, or Macron's or May's interest to make it seem like they will get bogged down in another attempted regime change, after the disastrous Iraq/Libyan campaigns. Even if they are aligned with the agenda of escalating war in the Middle East, their personal success in politics will probably come first, if the negative response to any sort of further escalation is strong enough.
They will want to gauge the responses of the people very carefully, if they wish to be elected for another term. People can downplay it all they want to, but there's a fairly strong "anti-war" side to the modern American right, nowadays, frustrated with the military failures of the past 50 years. And it's not just purely about pandering to populist positions either. The people are simply losing their faith in the "military approach" which hasn't truly been effective since WW2. What have been the successes, since maybe Japan, or Korea? People believe in fixing America's problems with good domestic policy, rather than other countries' problems with bombs. The latter doesn't seem to be very effective.
Ideally, America would use its "big stick" in a very carefully calculated manner. Total withdrawal is not an option, because whether we like it or not, there are a lot of sharks that stay beneath the surface because of the threat of America's military might. America's strength needs to be present and visible. But it also needs to be constrained by legality and tempered with caution.