I want to know the answer to the following question:
What country did this visiting king come from?
All the background I'm provided with is that "It was home of the admiral Zheng He, who went to sail the Pacific and Indian Oceans, and it was visited by foreign dignitaries, such as a king from Borneo (Boni 渤泥), who died during his visit to China in 1408.". Is that enough to answer the question?
Answer: yes