Så nu, den 3 oktober 2025, säger Donald Trump att han ska stoppa bombningarna.