Ex parte Republic of Peru, 318 U.S. 578 (1943)