Batfish, the champion "submarine-killer" submarine of World War II