Florida City Pays $600,000 Ransom to Save Computer Records