Bitcoin whale makes big losing bet, other traders have to foot the bill