“U.S. allies did not respond to President Trump's request for assistance in reopening the Strait of Hormuz.”