20160725 entertainment.english.hollywood: Brie Larson to play 'Captain Marvel'