By Ariba Shahid, Steve Holland and Alexander Cornwell
ISLAMABAD/WASHINGTON/TEL AVIV, May 7 (Reuters) - U.S. President Donald Trump predicted a swift end to the war with Iran as Tehran considered a U.S. peace proposal that sources said would formally end the conflict while leaving unresolved key U.S. demands that Iran suspend its nuclear programme and reopen the Strait of Hormuz.