FWIW, I think this has more to do with INSTEX.
I don't understand. That allows them to get around sanctions with respect to the EU. How does attacking that ship make sense?