Trump pauses effort to escort ships in Strait of Hormuz, citing deal progress