Who cares if they do? We don’t buy oil from them. Marines will take the Strait of Hormuz, they won’t occupy the island.
I think the Iranians have the potential to be one of America’s best trading partners. Because we took it upon ourselves to remove the IRGC, we have the responsibility to try and prevent catastrophic situations if possible.
It would block China from getting discounted oil, which is a plus.