was korea ever spelled corea