“The U.S. military has a feasible option to reopen the Strait of Hormuz by escorting tankers and other vessels.”