Meanwhile, U. Besides the United States, what other country sent military personnel to Korea