Ransomware attack hits Washington, D.C. police department