In the 12th installment of the X-Men series, John Brolin is cast to first appear as which character?