Which president was in office at the beginning of the Korean War?