The First Vatican Council and the question of a heretic Pope