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