No sure where he got the coins in the first place. Did he buy the coins, then convert 900K to other coins etc. ETH and withdraw that? So then he could execute his double spend attack and get the spent coins in his wallet as if he had never spent them? Well thats brilliant. If u lock isolate their address via fork, then that is a massive reduction in the supply. Price will skyrocket.