As far as I could research Korea/Corea was made the country name by the Persians(wiki), and by the Portuguese(under several other sources). Both theories recall the name coming from the ancient kingdom of gokuryo, which was shorthened to koryo. And, with the time became Corea and finally Korea.