The Martingale Problem for Markov Solutions to the Navier-Stokes Equations