US out of Korea! An unknown history