A Naval Biographical Dictionary/Wall, Henry