REvil ransomware group vanishes after mounting US pressure