“European allies have expressed less optimism than President Trump about the swift return to normal vessel traffic in the Strait of Hormuz.”