number of us troops in south korea 2017