4 български кораба ще чистят Черно море от руски мини