Eulerian‐Lagrangian methods for the Navier‐Stokes equations at high Reynolds number