brief history of korean war