Deletion Robust Non-Monotone Submodular Maximization over Matroids (JMLR, 2026)