Trump proposal would cut funding for earthquake early warning system