Royal R. Ingersoll II — American naval officer (1913–1942)