Extradition. Treaty between United States and Costa Rica, extradition, and exchange of notes concerning death penalty; signed San José Nov. 10, 1922, proclaimed May 3, 1923.