The US real GNP is trend-stationary after all