Dove si trova la basilica di Santa Maria Maggiore o basilica Liberiana?

il protocanonico risulta essere ancora il re emerito Juan Carlos, poiché il successore, Felipe VI, non ha mai fatto visita alla suddetta basilica

ho sbagliato