We know that Jin Mujin was in Korea during the war against the Yamazakis, but it doesn't seem like he was a significant figure in it. What do you think was the reason for this?