List of cities named Palo Pinto: