Error Analysis and Simulation of Galerkin Spectral Approximation for Flow Optimal Control with State Constraint. (4th July 2018)