The name `` Goryeo '' came to be said as `` Korea '' by foreigners and is still the name of the country .
The English name `` Korea '' derives from `` Goryeo . ''