Pensacola

city on the Gulf coast of the Florida panhandle, named for a Muskogean tribe, from Choctaw, literally "hair-people," from pashi "hair of the head" + oklah "people."