South Korea ordered to pay Mason Capital about $32 million over 2015 Samsung merger