US exports, very strong in the fourth quarter of 2022, set new records in January, 2023.