نیروی دریایی جمهوری کره - زبان‌های دیگر