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