Strait of Hormuz reopening for commercial traffic, Trump and Iran say