how much did the highest grossing movie released by the same studio that released the film that directed by rob marshall make ?
$ 1.6 billion