Pius XII, Pope.