Viscosity solutions of dynamic programming equations for optimal control of Navier-Stokes equations.