Simplicial volume and isolated, closed totally geodesic submanifolds of codimension one

We show that for any closed Riemannian manifold with dimension at least two and with nonpositive curvature, if it admits an isolated, closed totally geodesic submanifold of codimension one, then its simplicial volume is positive. As a direct corollary of this, for any nonpositively curved analytic manifold with dimension at least three, if its universal cover admits a codimension one flat, then either it has non-trivial Euclidean de Rham factors, or it has positive simplicial volume.