Those known to be in the circle which ordered the strikes were Trump, JD Vance—who flew from Cincinnati, Ohio, to Palm Beach, Florida on Friday—Pete Hegseth and Marco Rubio.

Mike Lee, the Republican U.S. Senator for Utah, made clear that there was no notification to members of Congress by using X to raise questions not long after Trump’s social media declaration.

“I look forward to learning what, if anything, might constitutionally justify this action in the absence of a declaration of war or authorization for the use of military force,” he said.