Trump's announcement versus Tehran's denial about Hormuz