Thomas, John Philip, United States