haciéndolo el sexto condado más poblado de Texas.