Gaza mediators intensifying ceasefire efforts, Hamas official says

It came as US President Donald Trump said “great progress” was being made since Israel and Iran ended their 12-day war.