WASHINGTON (AP) — The U.S. military said Monday that it carried out “self-defense” strikes in southern Iran, including on missile launch sites and boats placing mines, even as President Donald Trump said on social media that negotiations were “proceeding nicely.”

The strikes were done “to protect our troops from threats posed by Iranian forces,” but the military was “using restraint during the ongoing ceasefire,” Capt. Tim Hawkins, U.S. Central Command spokesman, said in a statement.

Further details were not immediately available, including more specifics on the threats from Iran and what this means for negotiations. Earlier, Trump said any agreement to end the Iran war should include a requirement for several additional countries, including Saudi Arabia and Pakistan, to join the Abraham Accords, the U.S.-brokered agreements from Trump’s first term aimed at normalizing relations with Israel.