Question: What city in Pinellas County contains at least 145 historic buildings?
Sentence (from "Tarpon Springs Historic District"): The Tarpon Springs Historic District is a U.S. historic district in Tarpon Springs, Florida.
Relevant evidence: Yes