Royal E. Ingersoll — United States admiral (1883–1976)