que habían sido enterrados en la antigua catedral, y cuyo rastro se perdió.