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