amerikanaren Charles E. Tripler.