South Korea: Bithumb ordered to pay damages over service outage in 2017