Sửa điều hòa Dương Đình Nghệ, Sửa điều hòa Mạc Thái Tổ Sửa điều hòa Dương Đình Nghệ, Sửa điều hòa Mạc Thái Tổ