It's been reported that John David Washington may be joining Robert Pattinson in The Batman, but who will he play?