The third installment of the “Mamma Mia!” franchise.