How long had horses been extinct in the Americas prior to their re-introduction