Naturalization convention between United States and Costa Rica; signed San Jose, June 10, 1911.