Question: Which pope authored Munifentissimus Deus?
Sentence: Whether the Virgin Mary died or not is not defined dogmatically, however, although a reference to the death of Mary are made in Munificentissimus Deus.
Answer in sentence: no