El verdugo (film 1948)