Deletion Robust Non-Monotone Submodular Maximization over Matroids (Journal of Machine Learning Research, 2026)