“The peak for U.S. auto sales occurred in 2016, and the market has been shrinking since then.”