"That emphasis is called for because most of international law most of the time operates through national, rather than international, institutions and in particular through the executive and the legislature." . . . . .