The coal tycoon bought a lot of Bitcoin many years ago