Extradition, supplementary convention between United States and San Marino; signed Washington, Oct. 10, 1934, proclaimed July 2, 1935.