Through what time period did the Korean War last