Jacksonville Beach Ransomware Incident: What Happened and Cybersecurity Lessons for Local Governments