KTX와 HSR을 모두 포괄하는 일반명사로서의 '고속철도'는 영어로 뭐라고 썼으려나