Republic of Korea Army — land warfare branch of South Korea's military