Petersen, Paul E., United States