These are the 3 names people have called Pensacola, Florida, United States

Naval Air Museum, Pensacola, FL and Pensacola, FL and Pensacola, Florida