the cathedral was built in 1517 as a royal mausoleum
a building in which the bodies of dead people are buried
"the cathedral was built in 1517 as a royal mausoleum" What is the definition of "mausoleum"?