US council of Riviera Beach finally decided to pay a $600,000 ransom to a ransomware gang