A Naval Biographical Dictionary/Hole, Lewis