what is the name of the city , state that is the thirteenth largest city in the united states ?
fort worth , texas