Trump: Korean War lasted eight years.