Well, technically the treaty could have been worded differently because a player was controlling the US when it happened, giving more (or less) benefits to Colombia. Not sure.