Mason Capital L.P. and Mason Management LLC v. Republic of Korea, Procedural Order No. 2