Question: What state does the area code that covers the area whose name refers to the Spanish Treasure Fleet lost in a 1715 hurricane, serve?
Sentence (from "Area code 772"): Area code 772 serves the Treasure Coast of the state of Florida.
Relevant evidence: Yes