An old tombstone inside the cathedral in Glendalough