Trump: Israel and Iran have agreed on a ceasefire