I want to know what platform someone like him can use to transact $250MM out of Bitcoin into USD (in his personal trading acount he said, actually $250MM was the profit).

As I understand, its not easy to convert to cash, especially in large volume.