이슬람에 한국이 알려진 시점이 언제 인가요?

지금의 코리아라는 국명은 고려가 이슬람에 알려지면 시작이 되었는데 고려라는 국명이 이슬람에 알려지게 된 것으로 기록된 최초의 기록은 언제인가요?