พระเจ้าฮโยจง – ภาษาอื่น ๆ