I will guess even more. And add some drug money lets say about ~$1.3B

Two years ago:

The World Once Laughed at North Korean Cyberpower. No More.

https://www.nytimes.com/2017/10/15/world/asia/north-korea-ha...