A Naval Biographical Dictionary/Hopkins, Edward Jervis