Will Trump’s October surprise be a hot war with China?