A Naval Biographical Dictionary/Otty, Allen