“As long as Iran retains the ability to contest the Strait of Hormuz, there will be enduring challenges to maritime navigation.”