Mason Capital L.P. and Mason Management LLC v. Republic of Korea, Final Award