Dubinski korektor za morske mine (Gradnja ladij in pomorstvo, 1937)