when did the korean war start and when did it end