จักรพรรดิเจิ้งเต๋อ – ภาษาอื่น ๆ