Was the 2017 $20k BTC Spike an Act of Price Manipulation?