South Korea cuts short joint military exercises after Trump intervention