The Strait has become a central anxiety for Washington’s allies since Tehran forced its effective closure