“A U.S. military operation to clear and hold the Strait of Hormuz would be a long-term and high-risk proposition.”