US strikes Iran after Tehran’s attempts to lay mines in the Strait of Hormuz