Iran’s IRGC says four ships hit in Gulf, three others struck mines near Hormuz — Al Jazeera English