A few years ago, I attended a Korean Pentecostal Church for about a year. I noticed that the names for Biblical characters in the sermons (in Korean, with an English interpreter) were Spanish. When I inquired as to the reason for Spanish names in a Korean sermon, I was told that the first missionaries in Korea were Spanish. There are probably no Korean equivalents for these names.