Ensemble Kalman Filter Outperforms Optimal Interpolation in Tsunami Waveform Assimilation