Iran’s Revolutionary Guard said shipping through the Strait of Hormuz could resume, under unspecified procedures, after President Trump paused a U.S. military effort to help vessels transit the strait.