Iran's Revolutionary Guards Navy: three other ships hit mines west of Strait of Hormuz overnight, caught fire