한국의 영문명이 korea는 고려에서 유래되었다고하던데 고려는 당시 어디까지 알려져있었나요?

한국의 영문명인 korea는 고려가 서쪽에 알려지면서 유래가 되었다고 하던데 당시 고려는 서쪽 어느 나라까지 나라의 존재가 알려져있었나요?