och Brasilien hade hänskjutits till konung Leopold af Belgien såsom skiljedomare.