A Naval Biographical Dictionary/Hopkins, Robert