Marvel daría inicio al rodaje de Doctor Strange 2 a principios de 2020