John XXI, Pope, or XXII