Witnesses who heard a tornado touch down in Pensacola Thursday say it felt like an earthquake. They say it seemed like just a normal rainstorm until the winds kicked up. The storm damaged several buildings including the area's major shopping mall. Mall employees say everyone in the mall was ordered out of the stores and into the basement. There are no reports of injuries.