Ensemble Kalman Filter in a machine-learned ROM of seismic sequence