Why reopening the Strait of Hormuz isn’t as simple as Trump thinks