Military history of South Korea