I want to know the answer to the following question:
When did the Hongwu Emperor use military force in Tibet?
All the background I'm provided with is that "However, there were instances in the 14th century when the Hongwu Emperor did use military force to quell unrest in Tibet.". Is that enough to answer the question?