Semi-classical propagation of singularity for Stokes system - Chenmin Sun (2017)