What Role Did the Late Kenneth Mitchell Play in ‘Captain Marvel?'