“No Gulf state has contributed warships to a formal U.S.-led naval coalition to secure the Strait of Hormuz.”