a formal agreement between the governments of two countries