Another name for the International Bank for Reconstruction and Development.