Which film came out earlier, "Comandante" or "The Judge and the General"?