Rečna mina (Gradnja ladij in pomorstvo, 1937)