REvil ransomware gang’s web sites mysteriously shut down