Trump’s lie about US GDP growth, debunked