Israel and Iran agree to a ceasefire, Trump announces