What was the largest battleship in World War II?