It was a close call but I think the refs got it right. I'm not convinced the holding or DPI, whichever you want to call, kept Gronk from getting to the ball to the degree the other defensive player was able to cut in front of him to make the INT. The defensive player had a chance to intercept the ball and did before Gronk would have been able to cut back to catch it. But very close play.