An almost sure energy inequality for Markov solutions to the 3D Navier-Stokes equations

We prove existence of weak martingale solutions satisfying an almost sure version of the energy inequality and which constitute a (almost sure) Markov process.