Mixed 3-manifolds are virtually special