A tsunami warning system using an ionospheric technique