Triều Tiên Hiếu Tông – Theo ngôn ngữ khác