Russian government hackers targeted small county in Florida panhandle in 2016 (Washington Post)