아니면 한국어로도 \'에스알티\'라 하는게 공식명칭이고 \'수서고속철도\'는 그냥 편의상 부르는 비공식적 명칭인 건가?