Senate executive documents, 80th Congress, 2d session. D. Consular convention with Costa Rica, consular convention between United States and Republic of Costa Rica, signed San José, Jan. 12, 1948