Claim: Memorial day isn't celebrated in Pensacola.
Evidence: Memorial Day (previously, but now seldom, called Decoration Day) is a federal holiday in the United States for honoring and mourning the military personnel who have died while serving in the United States Armed Forces. United States