“The board of the World Bank Group includes 25 resident executive directors.”