Así que ahora, el 3 de octubre de 2025, Donald Trump dice que se detenga el bombardeo.