An earthquake early warning system helped Mexico City. Trump’s budget would kill it in the US