장수도룡뇽은 우리나라에서는 서식한 적도 없나요?

장수도룡뇽은 일본과 중국에서는

서식을 하는데 우리나라에서는 서식하지 않는다고 알고 있습니다

우리나라에는 서식을 하지 않았던 건가요?

아니면 서식을 하다가 멸종한 건가요?