Операция «Праведник» (фильм)