The US must keep its AI lead over China to make pacing safe