Naval mines, which were at the time called “infernal machines” or “torpe