Is the Strait of Hormuz really closed?