a mine is for destroying ships