A Naval Biographical Dictionary/Hole, William