International law: international disputes: arbitration: tribunal reports (international): digests