https://buchanan.org/blog/pius-xii-and-john-paul-ii-4740