A posteriori error analysis for Navier–Stokes equations coupled with Darcy problem