Question: When did the Hongwu Emperor use military force in Tibet?
Sentence: However, there were instances in the 14th century when the Hongwu Emperor did use military force to quell unrest in Tibet.
Answer in sentence: yes