Four tankers destroyed by naval mines in Strait of Hormuz, Iran's IRGC says