AI tokens gained $13b thanks to the US election hype