general dennis pinto