Actually mining the straight is a “nuclear option” for Iran.

They can and will do it, but they would really prefer not too. As long as they can keep traffic out of the straight without dropping a bunch of mines they will. If Trump forces their hand, they reserve the right and the ability to mine the straight, And it will be bad.