Cyber attack cripples networks in city of Pensacola days after shooting