when did the us fight in the korean war