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"): It covers Sebastian, Fellsmere, Vero Beach, Fort Pierce, Port St. Lucie, Jensen Beach, Stuart, Hobe Sound, Indiantown, and other areas in east central Florida.
Relevant evidence: No