Republic of Korea Armed Forces statistics in the Vietnam War