Four oil tankers destroyed by naval mines in Strait of Hormuz, IRGC announces