IRI: Trump didn’t “open” the strait—he thanked Iran