What was the best known name of the voice in an American animated superhero film produced by Warner Bros in 2017?