A Naval Biographical Dictionary/Allen, John James