Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications