Iranians lay mines in the Strait of Hormuz