So is the message here that demining the strait of Hormuz will be fairly easy?

I was expecting some curve balls at the end with undecidable constellations but it was all quite straightforward.