Military History: Who Were the Americans Actually Fighting in Korea?