A Naval Biographical Dictionary/Holman, Robert