Iran reopens Strait of Hormuz, Trump thanks Iran, cooperates on mine removal