Internacional/Mundo Muere John Pinto, indio americano y «conversador» de código secreto en la segunda guerra mundial