19th-Century “Coffin Torpedos” shot at would-be grave robbers