San José , hade 10,000 invånare.