Оно вообще для флота нетипично Хотя моряки вполне рыли мины...
...как раз примерно в то время, когда это слово прижилось и у них. Во время обороны Севастополя, например...
Хотя я не против, наверное лучше было "минорносцы" назвать "истребителями", было бы логичнее.
