A Naval Biographical Dictionary/Jacobs, William